IsMaxIdeal($r$;$m$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$u$:$\mid$$r$$\mid$. ($\neg$($m$($u$))) $\Leftarrow\!\Rightarrow$ ($\exists$$v$:$\mid$$r$$\mid$. ($m$(($u$ ($\ast$$r$) $v$) +$r$ ({-}$r$(1$r$)))))